2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)
Автор:
Saddek Bensalem
, Автор:
Doron A. Peled
Категория:
Компьютеры
Размер книги: 2.38 Mb
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Автор:
Zohar Manna
, Автор:
Doron A. Peled
Категория:
Компьютеры
Размер книги: 3.93 Mb
Model Checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Размер книги: 2.13 Mb
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ... Lecture Notes in Artificial Intelligence)
Автор:
Doron A. Peled
, Автор:
Michael Wooldridge
Размер книги: 3.68 Mb
Computer Aided Verification, 11 conf., CAV '99
Автор:
Nicolas Halbwachs
, Автор:
Doron Peled
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.03 Mb
Model checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Категория:
Computer science
,
Algorithms
Размер книги: 1.88 Mb
Model checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Размер книги: 3.22 Mb
Computer Aided Verification, 16 conf., CAV 2004
Автор:
Rajeev Alur
, Автор:
Doron A. Peled
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 9.94 Mb
Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008
Автор:
Francesco Logozzo
, Автор:
Doron A. Peled
, Автор:
Leonore D. Zuck
Категория:
CsLn_
Размер книги: 3.97 Mb
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор:
Saddek Bensalem
, Автор:
Doron A. Peled
Размер книги: 2.74 Mb
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Автор:
Doron A. Peled
, Автор:
Moshe Y. Vardi
Размер книги: 4.63 Mb